Optimal. Leaf size=56 \[ \frac{i f \sinh (c+d x)}{a d^2}-\frac{i (e+f x) \cosh (c+d x)}{a d}+\frac{e x}{a}+\frac{f x^2}{2 a} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0715893, antiderivative size = 56, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 29, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.103, Rules used = {5563, 3296, 2637} \[ \frac{i f \sinh (c+d x)}{a d^2}-\frac{i (e+f x) \cosh (c+d x)}{a d}+\frac{e x}{a}+\frac{f x^2}{2 a} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 5563
Rule 3296
Rule 2637
Rubi steps
\begin{align*} \int \frac{(e+f x) \cosh ^2(c+d x)}{a+i a \sinh (c+d x)} \, dx &=-\frac{i \int (e+f x) \sinh (c+d x) \, dx}{a}+\frac{\int (e+f x) \, dx}{a}\\ &=\frac{e x}{a}+\frac{f x^2}{2 a}-\frac{i (e+f x) \cosh (c+d x)}{a d}+\frac{(i f) \int \cosh (c+d x) \, dx}{a d}\\ &=\frac{e x}{a}+\frac{f x^2}{2 a}-\frac{i (e+f x) \cosh (c+d x)}{a d}+\frac{i f \sinh (c+d x)}{a d^2}\\ \end{align*}
Mathematica [A] time = 0.638456, size = 57, normalized size = 1.02 \[ -\frac{(c+d x) (c f-2 d e-d f x)+2 i d (e+f x) \cosh (c+d x)-2 i f \sinh (c+d x)}{2 a d^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.04, size = 84, normalized size = 1.5 \begin{align*} -{\frac{1}{a{d}^{2}} \left ( if \left ( \left ( dx+c \right ) \cosh \left ( dx+c \right ) -\sinh \left ( dx+c \right ) \right ) -icf\cosh \left ( dx+c \right ) +ide\cosh \left ( dx+c \right ) -{\frac{f \left ( dx+c \right ) ^{2}}{2}}+cf \left ( dx+c \right ) -de \left ( dx+c \right ) \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.50894, size = 254, normalized size = 4.54 \begin{align*} \frac{1}{4} \, f{\left (\frac{4 \, x e^{\left (d x + c\right )}}{a d e^{\left (d x + c\right )} - i \, a d} + \frac{-2 i \, d^{2} x^{2} e^{c} - 2 i \, d x e^{c} -{\left (2 i \, d x e^{\left (3 \, c\right )} - 2 i \, e^{\left (3 \, c\right )}\right )} e^{\left (2 \, d x\right )} + 2 \,{\left (d^{2} x^{2} e^{\left (2 \, c\right )} - 3 \, d x e^{\left (2 \, c\right )} + e^{\left (2 \, c\right )}\right )} e^{\left (d x\right )} - 2 \,{\left (d x + 1\right )} e^{\left (-d x\right )} - 2 i \, e^{c}}{a d^{2} e^{\left (d x + 2 \, c\right )} - i \, a d^{2} e^{c}}\right )} + \frac{1}{4} \, e{\left (\frac{4 \,{\left (d x + c\right )}}{a d} - \frac{2 i \, e^{\left (d x + c\right )}}{a d} - \frac{2 i \, e^{\left (-d x - c\right )}}{a d}\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.15053, size = 178, normalized size = 3.18 \begin{align*} \frac{{\left (-i \, d f x - i \, d e +{\left (-i \, d f x - i \, d e + i \, f\right )} e^{\left (2 \, d x + 2 \, c\right )} +{\left (d^{2} f x^{2} + 2 \, d^{2} e x\right )} e^{\left (d x + c\right )} - i \, f\right )} e^{\left (-d x - c\right )}}{2 \, a d^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 1.10237, size = 194, normalized size = 3.46 \begin{align*} \begin{cases} \frac{\left (\left (- 2 i a^{3} d^{5} e e^{c} - 2 i a^{3} d^{5} f x e^{c} - 2 i a^{3} d^{4} f e^{c}\right ) e^{- d x} + \left (- 2 i a^{3} d^{5} e e^{3 c} - 2 i a^{3} d^{5} f x e^{3 c} + 2 i a^{3} d^{4} f e^{3 c}\right ) e^{d x}\right ) e^{- 2 c}}{4 a^{4} d^{6}} & \text{for}\: 4 a^{4} d^{6} e^{2 c} \neq 0 \\- \frac{x^{2} \left (i f e^{2 c} - i f\right ) e^{- c}}{4 a} - \frac{x \left (i e e^{2 c} - i e\right ) e^{- c}}{2 a} & \text{otherwise} \end{cases} + \frac{e x}{a} + \frac{f x^{2}}{2 a} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.16307, size = 312, normalized size = 5.57 \begin{align*} \frac{d^{2} f x^{2} e^{\left (2 \, d x + 3 \, c\right )} - i \, d^{2} f x^{2} e^{\left (d x + 2 \, c\right )} - i \, d f x e^{\left (3 \, d x + 4 \, c\right )} + 2 \, d^{2} x e^{\left (2 \, d x + 3 \, c + 1\right )} - d f x e^{\left (2 \, d x + 3 \, c\right )} - 2 i \, d^{2} x e^{\left (d x + 2 \, c + 1\right )} - i \, d f x e^{\left (d x + 2 \, c\right )} - d f x e^{c} - i \, d e^{\left (3 \, d x + 4 \, c + 1\right )} + i \, f e^{\left (3 \, d x + 4 \, c\right )} - d e^{\left (2 \, d x + 3 \, c + 1\right )} + f e^{\left (2 \, d x + 3 \, c\right )} - i \, d e^{\left (d x + 2 \, c + 1\right )} - i \, f e^{\left (d x + 2 \, c\right )} - d e^{\left (c + 1\right )} - f e^{c}}{2 \,{\left (a d^{2} e^{\left (2 \, d x + 3 \, c\right )} - i \, a d^{2} e^{\left (d x + 2 \, c\right )}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]